#ifndef __LINUX_TTY_H__
#define __LINUX_TTY_H__
#include "linux/types.h"
void console_init(void);
void console_write(char *buf, u32 count);
#endif